Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations

Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and interleaving-consistency, and show that a partial order can be a valid state based model: (1) of some synchronous concurrent computation iff it is width-extensible, and (2) of some asynchronous concurrent computation iff it is width-extensible and interleaving-consistent. We also show a duality between the event based and state based models of concurrent computations, and give algorithms to convert models between the two domains. When applied to the problem of checkpointing, our theory leads to a better understanding of some existing results and algorithms in the field. It also leads to efficient detection algorithms for predicates whose evaluation requires knowledge of states from all the processes in the system

Micro Smart Grid Technology for Rural Indian model

Today world is step-in 21st century. But still in major part of India cannot get 24 X 7 eclectic power supply. Electrical power has become a prime necessity for any country for economic development. And power shortage is a dominant problem, being faced by the most of the countries today. On the top of this, the conventional fuel sources for power generation i.e. coal & oil deposits are fast getting depleted. The Obvious way out, is to shift focus to renewable sources of energy and in country like India our village population & remote location load always suffer by power cut or grid failure although they have enough potential to generate own power but due to lake of technology they can’t get 24 x 7 power supply to provide some solution of this problem we try to develop smart grid Indian version. Although more invention has to be carried out still in the use of non-conventional energy sources for power generation to reach to most economic point, but every little effort in this direction may provide a solution to power shortage problems. Hence the same topic was selected as a part of the curriculum. The goal of the paper is to construct a micro smart grid  which is capable of producing enough  electrical power by using local removable energy electrical power sources like wind, bio-gas, solar, current running hydro plan for the places like remote places like villages? In this paper, we propose a decentralized framework named Micro Smart GRID to tackle grid resource management a simulation study of operation and control of local generation & co-ordination with state grid in case of normal operation or power islands in Micro Smart Grid environment

EVALUATION OF THE ADDED EFFECT OF AMRUTADI KASHAYA IN THE MANAGEMENT OF AMLAPITTA VIS A VIS ACID DYSPEPSIA

In Ayurvedic text Mandagni is the main cause of all the Roga including Amlapitta. by the increased Drava guna and Amla guna of Pachaka Pitta affecting the Annavaha, Rasavaha, Raktavaha, Purishvaha srotasa; Samana, Prana, Apana Vayu; mainly Kledaka and partially Bodhaka Kapha. Prana vayu, which having the Karma of Aadana, help the Anna to enter in the Kostha where the Anna gets disintegrated by fluids and softened by unctuous substances. Samana Vayu stimulates the Jatharagni which is situated in Amashaya and as a result proper digestion process starts. Agni performs normal functions when food is consumed in appropriate time and with appropriate and serves as promoter of longevity. Describing the Samprapti of Amlapitta Acharya Charaka says that Aamvisha, when get mixed with Pitta, the disease Amlapitta develops whereas Acharya Kashyapa described that the disease is caused by vitiation of Doshas (Tridosha) causing Mandagni which leads to Vyadhi Amlapitta. Amlapitta can be correlated with Acid Reflux Syndrome which comprises of various types of Gastro-esophageal Reflux Diseases like Gastritis, Dyspepsia, Heartburn, Hyperacidity, Hypoacidity etc. Described in modern sciences. The conventional science tries to find a cure for this through PPI, Antacid therapy, etc. which often results in ill effects. Here comes the importance of herbal remedies of Ayurveda. Amrutadi kashaya show a wide range of therapeutic usages. Because of its properties like Ushanta, Tikshanta, Katu, Tikta rasa, Ushnaa veerya help in Samprapti vighatana of Amlapitta. when Amrutadi kashaya is used with Laghusutashekhara rasa then, its result increases many fold in Amlapitta. In this study 40 patients of Amlapitta were registered and 03 patient (6.66%) were got no improvement, 18 patients got mild -improvement, 19 patient were got moderate improvement, 0 patient got Marked improvement and complete cure

Photon-Photon Collision: Simultaneous Observation of Wave-Particle Characteristics of Light

The proposed paper presents the analysis of electromagnetic waves meeting at a point in terms of their particle characteristics. The observation that light beams moves un-deviated when encountered at a point, which is commonly justified on the wave characteristics of light, is now presented as momentum and wavelength exchange phenomenon of photon collision. Theoretical and mathematical justification of photon’s inter-collision, on the basis of their quasi-point particle behavior is offered and the observation of the non-variation of wavelength of light beams is explained. Thus, the observation of light’s non-deviation at the crossing point is explained as momentum exchange phenomenon on the basis of particle characteristics of light. Keywords: Basic Quantum Mechanics, Bohr’s Complementary Principle, Collision Mechanic

Pattern and outcome of donor deferral -? need of hour

Background: To analyze various reasons for blood donor deferral and to study its long term impact on potential prospective blood donors.Methods: A total of 26029, otherwise healthy, prospective blood donors were studied retrospectively over a period of 5 years. WHO blood donor selection criteria and counseling guidelines were used for donor selection. Donor deferral data was evaluated with respect to age, sex and cause of deferral which was further analyzed as temporary or permanent deferral.Results: 1448 (5.56%) blood donors were deferred for various reasons. 1232 (4.89%) of total male donors and 216 (26.83%) of total female blood donors were deferred.1378 (95.16%) donors were deferred on temporary basis and only 70 (4.84 %) donors were permanently deferred. Anemia (42.26%) was observed to be the most common cause of temporary donor deferral while hypertension with cardiac disorder (1.93%) was the most common cause of permanent deferral. All the temporary deferred donors (1378) were called after the period of deferment. Out of total 1378 temporarily deferred donors, only 129 donors returned later for voluntary donation.Conclusions: Establishment of effective measures is needed in regard to consider the effect of donor deferrals on future availability of donor and donor return and to monitor necessity and effectiveness of deferrals and their reasons. As percentage of temporary deferral is higher, they should be efficiently managed, counseled, educated and encouraged for future donation which can compensate the increasing demand of blood donors

ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization

Monitor objects are used extensively for thread-safety and synchronization in shared memory parallel programs. They provide ease of use, and enable straightforward correctness analysis. However, they inhibit parallelism by enforcing serial executions of critical sections, and thus the performance of parallel programs with monitors scales poorly with number of processes. Their current design and implementation is also ill-suited for thread synchronization across multiple thread-safe objects. We present ActiveMonitor - a framework that allows multi-object synchronization without global locks, and improves parallelism by exploiting asynchronous execution of critical sections. We evaluate the performance of Java based implementation of ActiveMonitor on micro-benchmarks involving light and heavy critical sections, as well as on single-source-shortest-path problem in directed graphs. Our results show that on most of these problems, ActiveMonitor based programs outperform programs implemented using Java\u27s reentrant-lock and condition constructs